Model Checking Temporal Logic Formulas Using Sticker Automata

As an important complex problem, the temporal logic model checking problem is still far from being fully resolved under the circumstance of DNA computing, especially Computation Tree Logic (CTL), Interval Temporal Logic (ITL), and Projection Temporal Logic (PTL), because there is still a lack of approaches for DNA model checking. To address this challenge, a model checking method is proposed for checking the basic formulas in the above three temporal logic types with DNA molecules. First, one-type single-stranded DNA molecules are employed to encode the Finite State Automaton (FSA) model of the given basic formula so that a sticker automaton is obtained. On the other hand, other single-stranded DNA molecules are employed to encode the given system model so that the input strings of the sticker automaton are obtained. Next, a series of biochemical reactions are conducted between the above two types of single-stranded DNA molecules. It can then be decided whether the system satisfies the formula or not. As a result, we have developed a DNA-based approach for checking all the basic formulas of CTL, ITL, and PTL. The simulated results demonstrate the effectiveness of the new method

Emergency Resource Layout with Multiple Objectives under Complex Disaster Scenarios

Effective placement of emergency rescue resources, particularly with joint suppliers in complex disaster scenarios, is crucial for ensuring the reliability, efficiency, and quality of emergency rescue activities. However, limited research has considered the interaction between different disasters and material classification, which are highly vital to the emergency rescue. This study provides a novel and practical framework for reliable strategies of emergency rescue under complex disaster scenarios. The study employs a scenario-based approach to represent complex disasters, such as earthquakes, mudslides, floods, and their interactions. In optimizing the placement of emergency resources, the study considers government-owned suppliers, framework agreement suppliers, and existing suppliers collectively supporting emergency rescue materials. To determine the selection of joint suppliers and their corresponding optimal material quantities under complex disaster scenarios, the research proposes a multi-objective model that integrates cost, fairness, emergency efficiency, and uncertainty into a facility location problem. Finally, the study develops an NSGA-II-XGB algorithm to solve a disaster-prone province example and verify the feasibility and effectiveness of the proposed multi-objective model and solution methods. The results show that the methodology proposed in this paper can greatly reduce emergency costs, rescue time, and the difference between demand and suppliers while maximizing the coverage of rescue resources. More importantly, it can optimize the scale of resources by determining the location and number of materials provided by joint suppliers for various kinds of disasters simultaneously. This research represents a promising step towards making informed configuration decisions in emergency rescue work

Therapeutic Angiogenesis of PLGA-Heparin Nanoparticle in Mouse Ischemic Limb

Objective. To evaluate the possibility and efficacy of the nanoparticle encapsulating heparin as a novel delivery system to treat ischemic disease. Methods. Firstly, to synthesize the PLGA heparin and test the surface morphology, the average diameter, the loading efficiency, and the release time in vitro, then inject the PLGA heparin into mouse ischemic limbs to observe the perfusion recovery with LDPI at the time of postischemic 7, 14, 21, and 28 days, and, finally, test the expression of VEGF and HGF, the number of the neovessels and record the necrotic score of ischemic limbs. Results. The surface morphology of the PLGA heparin was smooth, the average diameter was 297 nm, the loading efficiency was 5.35%, and the release period maintained for 14 days. In animal experiment, the perfusion recovery, HGF expression level, and capillary density in PLGA-heparin group were significantly higher than that in control group, and this was consistent with less ischemic limb necrosis. Conclusion. Nanoparticle encapsulating heparin could be successful and efficient in ischemic disease. The therapeutic angiogenesis of PLGA heparin might be due to the prolongation of its biological effects with stimulating growth factor expression

Kinerja Sistem Komunikasi FSO (Free Space Optics) Menggunakan Cell-site Diversity Di Daerah Tropis

Kebutuhan masyarakat akan adanya layanan komunikasi multimedia seperti video conference, high speed internet, video streaming, dan lain sebagainya, saat ini terus meningkat. Untuk memenuhi kebutuhan tersebut, perlu adanya suatu sistem komunikasi nirkabel dengan kecepatan tinggi. Salah satunya yaitu dengan menggunakan FSO (Free Space Optics). FSO merupakan sistem komunikasi yang memungkinkan memiliki koneksi layaknya serat optik, namun media transmisi yang digunakan yaitu melalui atmosfer. Penggunaan FSO di daerah tropis memiliki kendala yang cukup serius yaitu tingginya intensitas curah hujan yang dapat mempengaruhi kinerja dari FSO. Semakin tinggi intensitas curah hujan, maka nilai redaman hujan juga semakin besar. Untuk mengatasi dampak redaman hujan tersebut, maka digunakan teknik cell-site diversity dengan selection combining. Penerapan teknik cell-site diversity pada sistem komunikasi FSO menggunakan variasi panjang lintasan 0,5 km, 1 km, 1,5 km, dan 2 km serta variasi sudut antar link sebesar 45°, 90°, 135°, dan 180°. Hasil dari penerapan teknik cell-site diversity menunjukkan bahwa adanya peningkatan kualitas sinyal FSO, dalam hal ini yaitu nilai SNR. Peningkatan nilai SNR terbesar didapatkan pada panjang lintasan 2 km dengan sudut antar link 180° serta pada link availability 99,9 %. Untuk konfigurasi cell-site diversity terbaik didapatkan pada sudut antar link sebesar 90° dan 180°

Associations between social and intellectual activities with cognitive trajectories in Chinese middle-aged and older adults: A nationally representative cohort study

BACKGROUND: Associations between the frequency of social and intellectual activities and cognitive trajectories are understudied in Chinese middle-aged and older adults. We aimed to examine this association in a nationally representative longitudinal study. METHODS: The China Health and Retirement Longitudinal Study (CHARLS) is a nationally representative sample of Chinese middle-aged and older participants. The frequency of social and intellectual activities was measured at baseline. Interview-based cognitive assessments of orientation and attention, episodic memory, and visuospatial skills and the calculation of combined global scores were assessed every 2 years from 2011 to 2016. Cognitive aging trajectories over time were analyzed using group-based trajectory modeling, and the associations of the trajectory memberships with social and intellectual activities were analyzed using multinomial logistic regression. Odds ratios (OR) and 95% confidence intervals (CI) were reported. RESULTS: Among 8204 participants aged 50-75 years at baseline, trajectory analysis identified three longitudinal patterns of cognitive function based on the global cognitive scores: persistently low trajectory (n = 1550, 18.9%), persistently moderate trajectory (n = 3194, 38.9%), and persistently high trajectory (n = 3460, 42.2%). After adjustment for sociodemographic variables, lifestyles, geriatric symptoms, and health conditions, more frequent intellectual activities (OR 0.54, 95% CI 0.38-0.77) and social activities (OR 0.79, 95% CI 0.65-0.95) were both associated with a lower likelihood of being in the persistently low trajectory for global cognitive function. CONCLUSIONS: These findings suggested that more frequent social and intellectual activities were associated with more favorable cognitive aging trajectories

Transmission Roles of Symptomatic and Asymptomatic COVID-19 Cases: A Modelling Study

Coronavirus disease 2019 (COVID-19) asymptomatic cases are hard to identify, impeding transmissibility estimation. The value of COVID-19 transmissibility is worth further elucidation for key assumptions in further modelling studies. Through a population-based surveillance network, we collected data on 1342 confirmed cases with a 90-days follow-up for all asymptomatic cases. An age-stratified compartmental model containing contact information was built to estimate the transmissibility of symptomatic and asymptomatic COVID-19 cases. The difference in transmissibility of a symptomatic and asymptomatic case depended on age and was most distinct for the middle-age groups. The asymptomatic cases had a 66.7% lower transmissibility rate than symptomatic cases, and 74.1% (95% CI 65.9–80.7) of all asymptomatic cases were missed in detection. The average proportion of asymptomatic cases was 28.2% (95% CI 23.0–34.6). Simulation demonstrated that the burden of asymptomatic transmission increased as the epidemic continued and could potentially dominate total transmission. The transmissibility of asymptomatic COVID-19 cases is high and asymptomatic COVID-19 cases play a significant role in outbreaks

ceRNA crosstalk mediated by ncRNAs is a novel regulatory mechanism in fish sex determination and differentiation

Competing endogenous RNAs (ceRNAs) are vital regulators of gene networks in mammals. The involvement of noncoding RNAs (ncRNAs) as ceRNA in genotypic sex determination (GSD) and environmental sex determination (ESD) in fish is unknown. The Chinese tongue sole, which has both GSD and ESD mechanisms, was used to map the dynamic expression pattern of ncRNAs and mRNA in gonads during sex determination and differentiation. Transcript expression patterns shift during the sex differentiation phase, and ceRNA modulation occurs through crosstalk of differentially expressed long ncRNAs (lncRNAs), circular RNAs (circRNAs), microRNAs (miRNAs), and sex-related genes in fish. Of note was the significant up-regulation of a circRNA from the sex-determining gene dmrt1 (circular RNA dmrt1) and a lncRNA, called AMSDT (which stands for associated with male sex differentiation of tongue sole) in Chinese tongue sole testis. These two ncRNAs both share the same miRNA response elements with gsdf, which has an up-regulated expression when they bind to miRNA cse-miR-196 and concurrent down-regulated female sex-related genes to facilitate testis differentiation. This is the first demonstration in fish that ceRNA crosstalk mediated by ncRNAs modulates sexual development and unveils a novel regulatory mechanism for sex determination and differentiation.info:eu-repo/semantics/publishedVersio

Study of Promoter Methylation Patterns of HOXA2, HOXA5, and HOXA6 and Its Clinicopathological Characteristics in Colorectal Cancer

Research on DNA methylation offers great potential for the identification of biomarkers that can be applied for accurately assessing an individual's risk for cancer. In this article, we try to find the ideal epigenetic genes involved in colorectal cancer (CRC) based on a CRC database and our CRC cohort. The top 20 genes with an extremely high frequency of hypermethylation in CRC were identified in the latest database. Remarkably, 3 HOXA genes were included in this list and ranked at the top. The percentage of methylation in the HOXA5, HOXA2, and HOXA6 genes in CRC were up to 67.62, 58.36, and 31.32%, respectively, and ranked first in CRC among all human tumor tissues. Paired colorectal tumor samples and adjacent non-tumor colorectal tissue samples and four CRC cell lines were selected for MethylTarget™ assays. The results demonstrated that CRC tissues and cells had a stronger methylation status around the 3 HOXA gene promoter regions compared with adjacent non-tumor colonic tissue samples. The Receiver operator characteristic curve (ROC) curves for HOXA genes show excellent diagnostic ability in distinguishing tissue from healthy individuals and CRC patients, especially for Stage I patients (AUC = 0.9979 in HOXA2, 0.9309 in HOXA5, and 0.8025 in HOXA6). An association analysis between the methylation pattern of HOXA genes and clinical indicators was performed and found that HOXA2 methylation was significantly associated with age, N, stage, M, lymphovascular invasion, perineural invasion, lymph node number. HOXA5 methylation was associated with age, T, M, stage, and tumor status, and HOXA6 methylation was associated with age and KRAS mutation. Notably, we found that the highest methylation of HOXA5 and HOXA2 occurs in the early stages of colorectal cancer tissues such as stage I, N0, MO, and non-invasive tissues. The methylation levels declined as tumors progressed. However, methylation level at any stage of the tumor was still significantly higher than in normal tissues (p < 0.0001). The mRNA of the 3 HOXA genes was downregulated in early tumor stages due to hypermethylation of CpG islands adjacent to the promoters of the genes. In addition, hypermethylation of HOXA5 and HOXA6 mainly occurred in patients < 60 years old and with MSI-L, MSS, CIMP.L and non-CIMP tumors. Together, this suggests that epigenetic silencing of 3 adjacent HOXA genes may be an important event in the progression of colorectal cancer